home *** CD-ROM | disk | FTP | other *** search
- @echo off
-
- echo Configuring patch for djgpp
- update configh.dos config.h
-
- echo # Makefile generated by "configure.bat"> Makefile
-
- if exist config.sed del config.sed
-
- echo "s/@srcdir@/./g ">> config.sed
- echo "s/@CC@/gcc/g ">> config.sed
- echo "s/@LIBS@// ">> config.sed
- echo "s/@LIBOBJS@// ">> config.sed
- echo "s/@ALLOCA@// ">> config.sed
-
- sed -e "s/^\"//" -e "s/\"$//" -e "s/[ ]*$//" config.sed > config2.sed
- sed -f config2.sed Makefile.in >> Makefile.2
- update Makefile.2 Makefile
- del Makefile.2
- del config.sed
- del config2.sed
-